función proposicional


función proposicional
Expresión de tipo enunciativo que puede ser concebida como resultante de una oración al reemplazar los términos constantes presentes en ella por términos variables.

Por ejemplo, "x fue padre de y puede ser entendida como resultante de "Adán fue padre de Abel. Por lo tanto, una función proposicional no tiene valor de verdad; pasa a ser verdadera o falsa sólo cuando sus variables libres son reemplazadas por constantes de categorías sintácticas apropiadas (p. ej., "Abraham fue padre de Isaac).

Enciclopedia Universal. 2012.